Ono, Hiroakira: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Short Textbooks in Logic] Proof Theory and Algebra in Logic ||

Year:

2019

Language:

english

File:

PDF, 2.22 MB

english, 2019

2

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Mathematical Logic for Life Science Ontologies

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

3

Glivenko Theorems for Substructural Logics over FL

Nikolaos Galatos and Hiroakira Ono

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 2.54 MB

english, 2006

4

UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

ALIZADEH, MAJID, DERAKHSHAN, FARZANEH, ONO, HIROAKIRA

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 196 KB

english, 2014

5

[Logic in Asia: Studia Logica Library] Knowledge, Proof and Dynamics (The Fourth Asian Workshop on Philosophical Logic) ||

Liu, Fenrong, Ono, Hiroakira, Yu, Junhua

Year:

2020

Language:

english

File:

PDF, 4.72 MB

english, 2020

6

Reflection Principles in Fragments of Peano Arithmetic

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 952 KB

english, 1987

7

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL

Nikolaos Galatos, Hiroakira Ono

Journal:

Year:

2006

Language:

english

File:

PDF, 2.17 MB

english, 2006

8

Closure Operators and Complete Embeddings of Residuated Lattices

Journal:

Year:

2003

Language:

english

File:

PDF, 1.60 MB

english, 2003

9

Fuzzy logics from substructural perspective

Tomasz Kowalski, Hiroakira Ono

Journal:

Fuzzy Sets and Systems

Year:

2010

Language:

english

File:

PDF, 185 KB

english, 2010

10

Intermediate Logics || Craig's Interpolation Theorem for the Intuitionistic Logic and Its Extensions: A Semantical Approach

Journal:

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

11

Algebra and Substructural Logics: Take Two Part 2 || Algebraic Aspects of Cut Elimination

Francesco Belardinelli, Peter Jipsen and Hiroakira Ono

Journal:

Year:

2004

Language:

english

File:

PDF, 3.30 MB

english, 2004

12

[Logic in Asia: Studia Logica Library] Philosophical Logic: Current Trends in Asia || Ancient Indian Logic, Pakṣa and Analogy

Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira

Year:

2017

Language:

english

File:

PDF, 194 KB

english, 2017

13

Pictures of functions and their acceptability by automata

Akira Nakamura, Hiroakira Ono

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 800 KB

english, 1988

14

[Advances in Soft Computing] Interval / Probabilistic Uncertainty and Non-Classical Logics Volume 46 || Interval Forecasting of Crude Oil Price

Huynh, Van-Nam, Nakamori, Yoshiteru, Ono, Hiroakira, Lawry, Jonathan, Kreinovich, Vkladik, Nguyen, Hung T.

Year:

2008

Language:

english

File:

PDF, 341 KB

english, 2008

15

Foreword

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 48 KB

english, 1997

16

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Spoilt for Choice: Full First-Order Hierarchical Decompositions

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 220 KB

english, 2009

17

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Completions of Basic Algebras

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

18

ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

KOWALSKI, TOMASZ, ONO, HIROAKIRA

Journal:

The Review of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 228 KB

english, 2016

19

On finite linear intermediate predicate logics

Journal:

Year:

1988

Language:

english

File:

PDF, 504 KB

english, 1988

20

Glivenko theorems and negative translations in substructural predicate logics

Farahani, Hadi, Ono, Hiroakira

Journal:

Archive for Mathematical Logic

Year:

2012

File:

PDF, 24 KB

2012

21

Kripke models and intermediate logics

Journal:

Publications of the Research Institute for Mathematical Sciences

Year:

1970

Language:

english

File:

PDF, 1.63 MB

english, 1970

22

A cut-free labelled sequent calculus for dynamic epistemic logic

Nomura, Shoshin, Ono, Hiroakira, Sano, Katsuhiko

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 3.04 MB

2020

23

Intermediate predicate logics determined by ordinals

Minari, Pierluigi, Takano, Mitio, Ono, Hiroakira

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.84 MB

english, 1990

24

Recent Developments related to Residuated Lattices and Substructural Logics || Preface

Nikolaos Galatos, Peter Jipsen and Hiroakira Ono

Journal:

Year:

2012

Language:

english

File:

PDF, 471 KB

english, 2012

25

Cut elimination and strong separation for substructural logics: An algebraic approach

Nikolaos Galatos, Hiroakira Ono

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 845 KB

english, 2010

26

On the size of refutation Kripke models for some linear modal and tense logics

Hiroakira Ono, Akira Nakamura

Journal:

Year:

1980

Language:

english

File:

PDF, 597 KB

english, 1980

27

On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics

Hiroakira Ono and Akira Nakamura

Journal:

Year:

1980

Language:

english

File:

PDF, 1.14 MB

english, 1980

28

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || A Duality for Algebras of Lattice-Valued Modal Logic

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 270 KB

english, 2009

29

The Contraction Rule and Decision Problems for Logics without Structural Rules

Eiji Kiriyama and Hiroakira Ono

Journal:

Year:

1991

Language:

english

File:

PDF, 1.81 MB

english, 1991

30

Semantical analysis of predicate logics without the contraction rule

Journal:

Year:

1985

Language:

english

File:

PDF, 630 KB

english, 1985

31

Glivenko theorems revisited

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

32

Algebraic Aspects of Cut Elimination

Francesco Belardinelli, Peter Jipsen, Hiroakira Ono

Journal:

Year:

2004

File:

PDF, 1.69 MB

2004

33

[Logic in Asia: Studia Logica Library] Philosophical Logic: Current Trends in Asia || On Incorporating Reasoning Time into Epistemic Logic

Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira

Year:

2017

Language:

english

File:

PDF, 235 KB

english, 2017

34

On Finite Linear Intermediate Predicate Logics

Journal:

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

35

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

Journal:

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

36

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)

Hiroakira Ono, Makoto Kanazawa and Ruy de Queiroz

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 224 KB

english, 2010

37

Undecidability of the first-order arithmetic A[P(x), 2x, x + 1]

Hiroakira Ono, Akira Nakamura

Journal:

Journal of Computer and System Sciences

Year:

1979

Language:

english

File:

PDF, 590 KB

english, 1979

38

Splittings in the variety of residuated lattices

Tomasz Kowalski, Hiroakira Ono

Journal:

Algebra Universalis

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

39

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Franco Montagna, Hiroakira Ono

Journal:

Year:

2002

File:

PDF, 667 KB

2002

40

Glivenko theorems for substructural logics over FL

Galatos, Nikolaos, Ono, Hiroakira

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 2.00 MB

english, 2006

41

Preface

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

Journal:

Year:

2012

Language:

english

File:

PDF, 100 KB

english, 2012

42

[Logic in Asia: Studia Logica Library] Philosophical Logic: Current Trends in Asia || Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi

Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira

Year:

2017

Language:

english

File:

PDF, 303 KB

english, 2017

43

Special Issue in Memory of Willem Johannes Blok || Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL

Nikolaos Galatos and Hiroakira Ono

Journal:

Year:

2006

Language:

english

File:

PDF, 3.01 MB

english, 2006

44

[Logic in Asia: Studia Logica Library] Philosophical Logic: Current Trends in Asia || On the Minimization Principle in the Boolean Approach to Causal Discovery

Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira

Year:

2017

Language:

english

File:

PDF, 198 KB

english, 2017

45

[Logic in Asia: Studia Logica Library] Philosophical Logic: Current Trends in Asia || Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers

Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira

Year:

2017

Language:

english

File:

PDF, 303 KB

english, 2017

46

On involutive FLe-monoids

Jenei, SÃ¡ndor, Ono, Hiroakira

Journal:

Archive for Mathematical Logic

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

47

[Advances in Soft Computing] Interval / Probabilistic Uncertainty and Non-Classical Logics Volume 46 || The Algebra of Truth Values of Type-2 Fuzzy Sets: A Survey

Huynh, Van-Nam, Nakamori, Yoshiteru, Ono, Hiroakira, Lawry, Jonathan, Kreinovich, Vkladik, Nguyen, Hung T.

Year:

2008

Language:

english

File:

PDF, 321 KB

english, 2008

48

[Logic in Asia: Studia Logica Library] Modality, Semantics and Interpretations || Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

Ju, Shier, Liu, Hu, Ono, Hiroakira

Year:

2015

Language:

english

File:

PDF, 362 KB

english, 2015

49

Logics Without the Contraction Rule

Hiroakira Ono and Yuichi Komori

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 657 KB

english, 1985

50

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Franco Montagna and Hiroakira Ono

Journal:

Year:

2002

Language:

english

File:

PDF, 1.92 MB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски